1. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
2. Logical Methods
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
رده :
E-Book
,
3. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
4. Process Algebra for Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
